//package foo;
//
////@CheckGetter
//public class Foo {
//
//    int x;
//    static int b;
//
//    Foo() {
//
//    }
//
//
//    void setA(int newA) {
//
//    }
//}
